Computer aided verification - 9th international conference : proceedings
- Författare
- Orna Grumberg International Conference on Computer Aided Verification 1997) Haifa :
- (CAV '97, Haifa, Israel, June 22 - 25, 1997 Orna Grumberg (ed.).)
- Genre
- Ej skönlitteratur, Konferenspublikation, Konferenser
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | 486 sidor. ill. |